Nuprl Definition : es-eq-E
11,40
postcript
pdf
e
=
e'
== eqof(((
es
.2).1))(
e
,
e'
)
latex
clarification:
es-eq-E(
es
;
e
;
e'
) == eqof(((
es
.2).1))(
e
,
e'
)
latex
Definitions
f
(
a
)
,
eqof(
d
)
,
t
.1
,
t
.2
FDL editor aliases
es-eq-E
origin